Nonmonotonic Reasoning in Probabilistics
نویسنده
چکیده
In probabilistics reasoning at optimum entropy ME reasoning has proved to be a most sound and consistent method for inference This paper investigates its properties in the framework of nonmonotonic reasoning In particular we show that ME reasoning satis es cumulativity and loop and we focus on its connection to conditionals Finally we intro duce the notion of a universal inference operation to generalize nonmonotonic reasoning thus providing a frame more appro priate for linking nonmonotonic reasoning with belief revision
منابع مشابه
Influencing nonmonotonic reasoning by modifier strength manipulation
Despite the current belief that much common sense reasoning is nonmonotonic in nature, research indicates that only a limited percentage of people are good at nonmonotonic reasoning. Good nonmonotonic reasoners recognize the logical strengths and weaknesses of some arguments. In the present study, we focus on differences in the probabilistic interpretation of the modifiers typically and usually...
متن کاملLogic in Nonmonotonic Reasoning
We present a conceptual description of nonmonotonic formalisms as essentially two-layered reasoning systems consisting of a monotonic logical system, coupled with a mechanism of a reasoned choice of default assumptions. On this ‘surgery’, the main features of a nonmonotonic formalism are determined by the interplay between its logical basis and the nonmonotonic overhead. Furthermore, it allows ...
متن کاملA Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning
An agent that is reasoning about the world often needs to draw (defeasible) conclusions that are not logically entailed by its (incomplete) knowledge about the world. Nonmonotonic reasoning systems can be used to model these reasoning patterns. Implementations of agents that can reason in a defeasible manner need to include an implemented nonmonotonic reasoning system. In different applications...
متن کاملExtending Prolog with Nonmonotonic Reasoning
Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation { its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics, and language features have been proposed for diierent forms of ...
متن کاملTowards First-Order Nonmonotonic Reasoning
We investigate the problem of reasoning in nonmonotonic extensions of rst-order logic. In particular, we study reasoning in rst-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, and logic programming. B...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998